Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
On Sequentializing Concurrent Programs
2011-01-01 Bouajjani, A; Emmi, M; Parlato, G
On the Complexity of Ltl Model-Checking of Recursive State Machines
2007-01-01 SALVATORE LA, Torre; Parlato, G
Policy analysis for self-administrated role-based access control
2013-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
2013-01-01 Pranav, Garg; P., Madhusudan; Parlato, G
Reducing Context-bounded Concurrent Reachability to Sequential Reachability
2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Smart Cities as "EnvironMental" Cities
2013-01-01 DE BONIS, Luciano
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches
2015-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models
2017-01-01 Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Vac - Verifier of administrative role-based access control policies
2014-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro
Verifying Concurrent Programs by Memory Unwinding
2015-01-01 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On Sequentializing Concurrent Programs | 1-gen-2011 | Bouajjani, A; Emmi, M; Parlato, G | |
On the Complexity of Ltl Model-Checking of Recursive State Machines | 1-gen-2007 | SALVATORE LA, Torre; Parlato, G | |
Policy analysis for self-administrated role-based access control | 1-gen-2013 | Ferrara, Anna Lisa; Madhusudan, P.; Parlato, Gennaro | |
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists | 1-gen-2013 | Pranav, Garg; P., Madhusudan; Parlato, G | |
Reducing Context-bounded Concurrent Reachability to Sequential Reachability | 1-gen-2009 | SALVATORE LA, Torre; P., Madhusudan; Parlato, G | |
Smart Cities as "EnvironMental" Cities | 1-gen-2013 | DE BONIS, Luciano | |
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches | 1-gen-2015 | Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models | 1-gen-2017 | Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G | |
Vac - Verifier of administrative role-based access control policies | 1-gen-2014 | Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro | |
Verifying Concurrent Programs by Memory Unwinding | 1-gen-2015 | Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile